Learning from Abstractions